James Simon - PDFSEARCH.IO - Document Search Engine

James Simon
Results: 178

#	Item
51	Modelling Cryptographic Protocols in a Theory of Action James P. Delgrande and Torsten Grote and Aaron Hunter School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6. Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2010-05-31 18:52:04 Cryptographic protocols Computing Burrows–Abadi–Needham logic Cryptographic nonce Challenge-response authentication Communications protocol Transmission Control Protocol Otway–Rees protocol Cryptography Data Information
52	A Consistency-Based Approach for Belief Change James P. Delgrande School of Computing Science, Simon Fraser University Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2003-09-08 16:17:32 Knowledge representation Logic Logic programming Curry–Howard correspondence Constructible universe Forcing Computer science Conjugate element Mathematical logic Mathematics Belief revision
53	Belief Change in the Context of Fallible Actions and Observations Aaron Hunter and James P. Delgrande School of Computing Science Faculty of Applied Sciences Simon Fraser University Burnaby, BC, Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2006-11-29 19:55:52 Philosophy of science Critical thinking Belief revision Knowledge representation Logic Logic programming Plausibility structure Theory of justification Causality Epistemology Philosophy Mathematics
54	A Consistency-Based Framework for Merging Knowledge Bases James P. Delgrande ∗ School of Computing Science, Simon Fraser University , Burnaby, B.C., Canada V5A 1S6 Torsten Schaub 1 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2006-11-29 16:24:28 Belief revision Model theory Semantics Constructible universe Interpretation Symbol Entailment Logic Logic programming Knowledge representation
55	Belief change based on global minimisation James P. Delgrande School of Computing Science, Simon Fraser University Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2006-11-29 16:50:01 Structure Universal algebra Interpretation Symbol Metaphilosophy Orbifold Model theory Logic Mathematics
56	Parallel Belief Revision James Delgrande and Yi Jin School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6 Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-09-10 12:33:34 Logic programming Entailment Constructible universe Logic Belief revision Knowledge representation
57	Weak Conditional Logics of Normality James P. Delgrande School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2003-09-08 16:39:15 Non-classical logic Conditionals Reasoning Default logic Non-monotonic logic Material conditional Inference Entailment Counterfactual conditional Logic Propositional calculus Logical consequence
58	Representing von Neumann-Morgenstern Games in the Situation Calculus Oliver Schulte and James Delgrande School of Computing Science Simon Fraser University Burnaby, B.C., Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2003-09-08 16:30:05 Determinacy Situation calculus Extensive-form game Function Axiom Game theory Mathematics Mathematical logic Logic
59	Parallel Belief Revision: Revising by Sets of Formulas James Delgrande and Yi Jin School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:35:55 Logic Logic programming Constructible universe Mathematics Ordinal numbers Set theory Curry–Howard correspondence Ordinal arithmetic Mathematical logic Belief revision Knowledge representation
60	Belief Change and Cryptographic Protocol Verification Aaron Hunter and James P. Delgrande School of Computing Science Simon Fraser University Burnaby, BC, Canada {amhunter, jim}@cs.sfu.ca Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-05-19 14:54:15 Burrows–Abadi–Needham logic Belief revision Epistemic modal logic Communications protocol Deniable authentication IP Cryptographic protocols Data Information